which military commander fought his battle at battle of dien bien phu ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_battle dbr_Battle_of_Dien_Bien_Phu sep_dot var_uri a dbo_OfficeHolder brack_close