Musk poured lots of money into FL governor Ron Desantis's 2024 presidential campaign.