Efforts to shrink the federal government’s sprawling real-estate footprint that began in the Obama era have gained new ...