El Escorial is a historical residence of the king of Madrid, Spain