The men on the ship, singing as they played their instruments, made a merry whirl.