Dien Bien Phu Airport, Dienbienphu, Vietnam (DIN, VVDB)