Texas Republican Senate nominee?