In the outdoor pool, a crowd was laughing and laughing happily.