Ted Cruz facepalms over Trump's red card comment