Abu-Bilal al-Minuki foi alvo de operação conjunta com forças da Nigéria; comando militar dos EUA diz que outros líderes do grupo também morreram