Élection Hô Chi Minh est élu président de la république