Pays down some federal debt from August 1967.