Toledo Santo Tomé Church, Saint John of the Kings Monastery and ...