Yes the pool is opened at this time. I went there two days ago.
My nephews went up yesterday and so far the pool is still closed.
As of the Coronavirus,the answer to your question is No,however,it seemed to be open to the lifeguards on duty only,so I don't know whether this is a good sign that it may open,just when,I don't know.
Thanks! Your answer is awaiting moderation.