Ron DeSantis’s only path to the Republican nomination