Civil wars and third-party interventions in Africa. ([2017])