The Gulf of Tonkin Events-Fifty Years Later: A Footnote to the History of the Vietnam War