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