British oil tanker stroke by "External Source" in Jeddah