§ 2430d. Repayment of principal

(a) Currency of payment
The principal amount of each new obligation issued pursuant to section 2430c (b) of this title shall be repaid in United States dollars.
(b) Deposit of payments
Principal repayments of new obligations shall be deposited in the United States Government account established for principal repayments of the obligations for which those obligations were exchanged.