A group of servicemen sang in the cheerful music of a warship sailing at sea.