Battle for Dien Bien Phu, 13 March - 7 May 1954