Muralla y pináculos de San Juan de los Reyes, TOLEDO