an indoor swimming pool in a large room