Tranchées de Diên Biên Phu, 1954