Efforts to shrink the federal government’s sprawling real-estate footprint that began in the Obama era have gained new urgency since President Donald Trump’s inauguration. The incoming ...