Der Abzug der US-Truppen aus Nigeria nach der Tötung eines Anführers des "Islamischen Staats" könnte eine Neudefinition der Terrorbekämpfung Washingtons auf dem Kontinent einleiten, sagen Experten.