John I of Portugal (1357-1433)/descendants