Judge halts Trump's government worker buyout plan