Portugals konung har nu officiellt kungjortsin