Outside the pool, two men were playing musical instruments, the music was cheerful.