an indoor tropical swimming pool