First-half 2018 performance of mining giants such as Shenhua, BHP Billiton, Rio Tinto, and Vale.