Noria (Santo de Escurial), ESCURIAL