Tension in the Middle East: Iranian oil tanker at Red Sea attacked off Saudi coast