The US Africa Command announced the strikes days after Trump claimed to have killed the group's second-in-command.