Never, as far as I can tell. But there are people running all over the board screaming that Cruz betrayed America but can never express WHAT he did. Other than mixing him up with Rubio.
I guess that makes more sense