Man minnes , att konungen af Portugä.