Pool operators and the maintenance team are working to resolve the issue.
Updated information and an estimated time of reopening will follow as soon as possible.