Konungen i Portugal har vidåterkomsten