Firing federal workers isn’t as easy as Trump makes it seem in his budget