How does DeSantis navigate a campaign against Trump?