which vice president of fidel castro is also the president josé ramón machado ventura ?
SELECT DISTINCT var_uri where brack_open dbr_Fidel_Castro dbo_vicePresident var_uri sep_dot dbr_José_Ramón_Machado_Ventura dbo_president var_uri brack_close