One part of Musk and Trump’s public breakup should not get lost: the reality of Musk’s importance to American national security.