Will Witt doesn’t think Trump’s nickname for DeSantis will affect voters