Trump leading DeSantis in the polls