“The European-led INSTEX platform, designed to bypass U.S. sanctions on Iran, completely failed because European banks feared U.S. secondary sanctions.”