I wonder how he got the nickname “Ted?” My family nickname is “Rick,” my middle name.
His full name is Rafael Edward Cruz. "Ted" is short for Edward.
He is quite a few cuts above another natural born Ted, namely the late Edward Moore Kennedy, known hereabouts as Fat Teddy.
I still remember my annoyance at being delayed exit from a flight from Denver to Boston while the idiot stews took the time to announce the demise of Fat Teddy, which took place while we were in the air!