In an indoor swimming pool, a group of children play in the water.