Arabian Gulf Oil Exports Rise by 9 Million Barrels