Ted Cruz for 2024?