Elon Musk in a Trump administration?