us president during vietnam conflict?