an indoor swimming pool with no people in it