Sales contract dispute between Domestic Trade Co, Ltd of Shanxi Coke Group Co, Ltd, Shanghai-based Huaneng Import and Export Co, Ltd, Shanxi Province Yuci-based Changxing Coking Co, Ltd