Trump tweeted that ISIS’s potential replacement for Abu Bakr al-Baghdadi has also been killed by American troops.