Hertigen af Oporto , konungens afPortugal