Allen Pool will tentatively be open on Tuesday, June 1