I think that until DeSantis announces, Trump is the leader. Some of us may not like it, but thems the facts.
You're gonna have a long wait.