What to know about joint US-Nigeria operation that killed a senior militant leader

President Donald Trump says a joint U.S. and Nigerian operation has killed a top Islamic State leader in Nigeria