Repurposed limestone quarry

There are reports that suggest the heat index around Cincinnati is in the 105F range.  It is certainly dangerously hot for this area.  Spending time in a pool like this would be refreshing.