"The last time water was drawn from the Rachel Spring for Polynesian Spa was on the evening of 19 July, well ahead of this tragic event on the morning of 20 July.
"None of the water in the Polynesian Spa pools has been affected by this sad tragedy," the post said.
"The complex will remain open, but we will not draw water from the Rachel Spring until all correct protocols have been followed. We are liaising closely with the authorities."