us president during vietnam cease-fire?