Trump’s team considered letting the lawsuit fizzle out, citing Musk’s close proximity to the president.