who was the leader of north vietnam in the time of vietnam war?