. . . . . . . . . . . . "Battle involving Portugal" . . . . .