What would they do if trump died? Oh yeah. DeSantis.