Ron DeSantis's 2024 presidential race got off to a glitchy start