Dozens of people play in a pool in a very large indoor swimming area.