Elon Musk and President Donald Trump, publicly at least, are on good terms.