John III of Portugal (1502-1557)/descendants