an indoor swimming pool in a large building