'militaire operatie'