Ron DeSantis is what the post-Trump GOP should look like