US judge orders DOGE, Musk to produce cost-cutting records