Does anyone know if the pools remain open on port days? Myself and hubby don't always go ashore when ship is docked other than to wander about the dockside shops for an hour or so. On the Miracle back in 2018, we did this but found that the pools aboard ship were closed and not available to those of us who chose to stay aboard. I was most disappointed and hoping the Pride does things differently.