which office holder's military branch is cuban revolutionary armed forces and vice president is josé ramón machado ventura ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_militaryBranch dbr_Cuban_Revolutionary_Armed_Forces sep_dot var_uri dbo_vicePresident dbr_José_Ramón_Machado_Ventura sep_dot var_uri a dbo_OfficeHolder brack_close