Topline: President Donald Trump made it a priority to downsize the federal workforce last year, but the top-paid employees are making more money than previously.
There were 1,540 federal workers who outearned the president’s salary of $400,000 last year, breaking the previous record of 956 workers. The employees collectively earned $632.3 million.
An additional 189 employees made exactly $400,000.
Key facts: The eight highest-paid federal employees all work for the National Institutes of Health. Gary Gibbons, director of the National Heart, Lung, and Blood Institute, made $547,285. It...