DeSantis before he backstabbed Trump