red sea port? you mean the northern tip of the gulf of aqaba, right between egypt and jordan, with saudi just a bit further down on the east?
http://news.bbc.co.uk/olmedia/1480000/images/_1481960_gulf_of_aqaba3.gif
Correct. The article specifies Eilat as the port.