Report to Congress of United States: Use of dollars rather than foreign currencies to pay United States expenses in Republic of Korea, Agency for International Development, Treasury Department, Department of State; by Comptroller General of United States.