"Puerta de Aguilar, proveniente de la antigua muralla, la cual fue desmontada" y más...