Feb. 13, intensified its sweeping efforts to shrink the size of the federal workforce, the nation’s largest employer, by ...