John, Duke of Aveiro (1400-1442)/descendants