They are not US funds. It is money that was frozen under U.S. Control back in ‘79. It’s really their own money.
Thank you for clarification.