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 administration’s focus on a smaller government could create ripple effects in communities far beyond Washington,