“Commercial, merchant, and non-interest banks may trade with any deposited ITFC (Internationally Tradable Foreign Currencies) ...