On this day in 1954, victory at the Battle of Dien Bien Phu