Gov. Ron DeSantis would pardon Trump if elected