peña de la virgen, ya desaparecida por la cantera