Konungen as Portugal har adertondopnamn