Trump says the federal workforce is too big. Here’s what to know.

The federal government is the nation’s largest employer, yet the size of its workforce hasn’t kept up with U.S. population growth, experts say.