US and Nigerian forces killed a senior ISIS commander on Friday, President Donald Trump said, in an operation he claimed had “greatly diminished” the militant group’s power. “Tonight, at my direction, ...