Mosteiro da Batalha, Portugal