As he formally declares his 2024 presidential campaign, Ron DeSantis is reticent toward front-running antagonist Donald Trump. How long can that last?