A Musk presidential campaign would be hilarious.