President Trump announced Friday evening that U.S. and Nigerian military forces had killed Abu-Bilal al-Minuki, a leader of the Islamic State group, in a "meticulously planned and very complex mission." Mr. Trump described al-Minuki as the Islamic State's second-in-command globa…