Nope, it's self financing: https://en.wikipedia.org/wiki/Exchange_Stabilization_Fund
> The ESF can convert SDRs into dollars on its account by issuing certificates against them and selling the certificates to the Federal Reserve,[6] and later repurchase them when it has surplus cash.
So they did actually fund it by printing money.