Castillo y jardines en el Distrito del Alentejo, Portugal El castillo de Marvão, en el Alentejo,