Will the Gulf of Tonkin Fit into the Red Sea?