Yeah that money came from Iraqi oil sales. And seems to have likely gone to (mostly) Iraqi contractors and Iraq government. It was literally their money going back to them. The accounting was not well documented. But once again, the money isn’t missing. And it definitely wasn’t money collected by the IRS from taxpayers.