20151009 world.middle-east: Saudi Arabia keeps November crude supply to Asia steady