Piscina Municipal Virgen del Carmen — Torremolinos, Málaga