Sea shanties and Wellerman: Why songs of the sea may be what