Gulf of Tonkin?, ramblings.