Tśmulo de D. Joćo I (1357-1433) e de D. Filipa de Lencastre (1360-1415), Mosteiro da Batalha, Portugal