If Jon Pertwee was indeed involved, it was probably not a sea shanty LP per se, but a comedy song album tied into The Navy Lark, his radio series of that era.

Looks likely to be the third LP down on this page.

Still no lyrics to show, though...