Bonds, notes, or other obligations issued by the Federal Financing Bank, the United State 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, or the African Development Bank.