Ted Cruz—the Texas Republican