fuente de la herrería (Zarco), SAN LORENZO DE EL ESCORIAL