Musk spent over a quarter of a billion dollars to help elect Trump