The water park must reopen to the public on November 1.