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