"Military operation involving Portugal" . . . . .