Manufacturing production down in China in October