View of one end of the Patio de los Leones.