Puerta de Granada (puerta este), SANTA FE