In Nigeria haben US-Truppen nach eigenen Angaben mehrere hochrangige Mitglieder der islamistischen Terrororganisation "ISIS" getötet.