20171114 business.international-business: China's crude oil processing runs in October rise to 2nd highest on record