US and Nigerian forces have successfully killed a high-ranking leader of the Islamic State (IS) group in a joint mission within Nigeria. President Bola Tinubu confirmed the operation, following an announcement by US President Donald Trump.