a republican presidential debate between cruz and rubio