Portugals konung skall vara ordensstor