On the Duration of Civil War