Lago Martiánez, una de las piscinas, PUERTO DE LA CRUZ