Mosteiro de Batalha, Distrito de Leiria (Portugal)