Musk’s political agenda is more sharply defined than Trump’s