“permitted supranational agency” means the African Development Bank, the Asian Development Bank, the Caribbean Development Bank, the European Bank for Reconstruction and Development, the European Investment Bank, the Inter-American Development Bank, the International Bank for Reconstruction and Development and the International Finance Corporation;