sea shanty — work song sung to accompany labor on board large merchant sailing vessels