On the Fact that There Are Somewhere Between 75 and 80,000 People Who Currently "Work" for the State Department (Yes, Trump Trimmed the Sucker but Not by Much - In the Vicinity of 2%)

  Well, considering that there were less than 20 back when Thomas Jefferson ran the show (https://history.state.gov/departmenthistory), seems a trifle bloated, I'd say.