Trump Sued Musks Company got $10M and Musk is Okay with it