The new hires would not make up for all the personnel lost in the Trump administration’s cutbacks, but could reduce the ...