John, Prince of Portugal — Prince of Portugal