Militärinterventionen