9242017 Ted cruz