October oil revenues up, exports to China jump