China reported official manufacturing PMI for October on Tuesday at 9 a.m. SIN/HK.