What were the international implications of the gulf of tonkin