Aramco reportedly halts October crude deliveries to some European refiners after pipeline attack · Digg