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