MtheGM:
Thank you for clearing the matter up; I thought 'shanty' meant simply a sailors' song... In the Broadway musical, they extended the lyrics and invented tune and made a focsle song out of the shanty - I never liked it, and invented my own tune to the Fifteen Men, making it sound more like a work song.