Musk ‘not really leaving’ the US government, says Trump

President praises his billionaire backer as he steps down from heading the Doge cost-cutting initiative