Under water, several people were swimming, and there was a tinkling of music around them.