US President Trump said today: "Musk stays as long as he wants, but may leave in a few months. After Musk leaves, the government's work to improve efficiency will continue."