International Migration and Military Intervention in Civil War