Aramco halts October crude deliveries to some European refiners after pipeline attack, Bloomberg reports