a large indoor swimming pool in the middle of a patio