The Hell Brigade sings sea shanty