U.S. Republican Sen. Ted Cruz