which president of thomas s . gates jr . also married to mamie eisenhower ?
SELECT DISTINCT var_uri where brack_open dbr_Mamie_Eisenhower dbo_spouse var_uri sep_dot dbr_Thomas_S._Gates_Jr sep_dot dbp_president var_uri brack_close