@USGSA.gov announced the U.S. government sold the Old Post Office Building in DC.
@WSJ.com reported how much, & to whom: $80 million, to the firm that holds the long-term lease on the property.
ICYMI, the Trump Organization sold the leasing rights for $375 million in 2022.
Looked inflated, then.