China's crude steel output set a record high of 93.36 mn t in Jul '20, besting the previous high of 92.2mn t set in May '20, with production ramping up close to peak leve