Not anymore they are.
It would have been a gross violation of their fiduciary duty if they hadn’t sold to Musk. It would have likely triggered some SEC review; the SEC may be the government, but I never saw the SEC let any other governmental branch encroach on their turf.