President Trump and Elon Musk traded social media barbs last week. Mr. Trump has said that he has no interest in repairing ...