Saudi Oil Pipeline (East-West) restarts by November 15?