President Trump gave Elon Musk a send-off in the Oval Office.