San Lorenzo de El Escorial: Monte Abantos (1,753m/5,751′)