Elon Musk just sold Grok to U.S. government for 42 cents—and signals warmer ties with Trump | Fortune