It’s coming from the Exchange Stabilization Fund so idk if it has an impact on the deficit. But you can argue that it’s taxpayer money. It was established after the gold standard was dropped and government made it a crime to hold more than a certain amount of gold. The government devalued the dollar but held a ton of gold, so when they changed it from $20.67/oz to $35/oz, they basically made a profit