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