solicitor of Texas Ted Cruz