Kentucky’s Ted Cruz?