Slut på den engelsk-portugiska tvisten.