which president of united states had vice president as đặng thị ngọc thịnh ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_vicePresident dbr_Đặng_Thị_Ngọc_Thịnh sep_dot var_uri a dbo_OfficeHolder brack_close