John VI of Portugal (1767-1826)/descendants