estanque de los frailes, SAN LORENZO DE EL ESCORIAL