Outside, a man jumped out of the pool and people around him laughed.