“China purchases approximately 80% or more of Iran's oil exports.”