Claim: Ted Cruz's middle name is John.
Verdict: REFUTES