Larger margin of victory: Texas Senate Dem or GOP primary?