Complejo municipal de piscina, PUERTO REAL