Elon Musk has invested a quarter of a billion dollars in Donald Trump.