[PT-EN:piscina]
Broader term
recreation centre