On the sea, on a cruise ship, a group of people sang and danced and played happily, singing and the wind.