an indoor swimming pool with no people or swimmers in the water and several empty benches