Diên Biên Phu, une bataille perdue d'avance