hornpipe

noun [ball de mariners].