Ron DeSantis gives an update on redistricting