It also doesn’t really look like a pool on Google maps - it’s got sandy beaches, rather than walls with stepped/ramped entrances.

Even when that one opens, I’d argue that OP posted the largest pool, and this is more of an artificial pond.