Gov. Ron DeSantis grants a pardon to the Groveland Four.