Ron DeSantis weighs in on Musk's controversy