Pool remains open and warm, despite leak