PMI Quarterly On China Manufacturing (October 2018)