“Military operation”