Han hette som prins hertig af Porto.