Context : Joseph's Tunic is a 1630 painting by Diego Velázquez, now held in the museum of the Sacristía Mayor del Monasterio de San Lorenzo de El Escorial (Madrid, Spain). 
Question : What is the name of the place where Joseph's Tunic can be found?
El Escorial