Monasterio de Batalha, Portugal