Are Trump’s attacks hurting or helping DeSantis?