“For decades, Iran has supplied discounted oil to China.”