Bonds, notes or other obligations issued by the Federal Financing Bank, the United States Postal Service, or issued or assumed by the International Bank for Reconstruction and Development, the Tennessee Valley Authority, the Inter-American Development Bank, the Government Development Bank for Puerto Rico, the Asian Development Bank, the International Finance Corporation, or the African Development Bank.