U.S. and Nigerian mission kills Islamic State group leader, Trump says - PBS