The Gulf of Tonkin Incident, Revisited