Military Interventions in Civil Wars