On a cruise ship, people danced in the merry music.