DeSantis says a census redo could be in works amid state redistricting wars