As the informal primary contest between former president Trump and Florida governor Ron DeSantis heats up, it appears that Republican primary voters have cooled a little on DeSantis. But in part 2 of this week’s FiveThirtyEight Politics Podcast, they ask a slightly different question: who do Democrats want the GOP nominee to be and what does that tell us about how they’re thinking about 2024?