Hô Chi Minh, La bataille de Diên Biên Phu