External Interventions and the Duration of Civil Wars