The singing of sea shanties as working songs at sea is a lost art