A joint operation involving U.S. and Nigerian forces has killed a senior leader of the Islamic State group in Nigeria, in what officials described as one of the most significant counterterrorism missions carried out in the region in recent years. U.S. President Donald Trump announced the operation late Friday in a post on social media, ...