Percentage change in federal government workforce during Trump administration, by agency

December 2016 to December 2020