Does anyone know of sea songs (including Pirate songs) for children? I have conducted Shanty workshops for schools and I adapted the words of the shanties to suit the age groups.

The songs don't neccessarily have to be traditional

Thank you in anticipation.