At sea, a group danced to a cheerful DJ music.