“Several tankers were attacked and left burning in the Persian Gulf.”