Under tiden har Portugalskonung