Trump is doing the right thing in laying off federal workers