a large indoor pool with a large roof