If Trump wants to cut government workers, look to the private sector (Washington Post)