skålen för portugisiska konungen , som tackade.