A crowd of people played in the pool, cheering and waving flags outside.