Miguel of Portugal (1802-1866)/descendants