Dien Bien Phu, Vietnam