Children's pool, High Tor State Park