What would the polls be like with Ted Cruz instead of Trump?