It is a private swim club. For details on how to join, search Holiday Swim Club. There is a cost, but they participate in swim meets and the pool can be rented for parties.
It is a privately operated pool run by Holiday swim club. Try looking them up online. There might be contact information for them.
Thanks! Your answer is awaiting moderation.