Ted Cruz dennis michael lynch