Điện Biên Phủ (Vietnam), Battle of, 1954.