US warship cruises south in Gulf of Aqaba doing whatever it is US warships do – do not appear to be hassled by Saudi Coast Guard