The effort is part of the Trump administration’s plan to shrink the federal government.