The federal funds pay for it through the indirect costs funding its maintenance most likely... I suspect that represents a significant portion of the total cost of the building.
Your imagined scenario doesn't apply to this very real example in the article in question though.