Elon Musk Is Leaving Washington. How That Affects Trump’s Agenda. (Wall Street Journal)