Credit: AP Photo/Andrew Harnik DC’s Old Post Office building, a former Trump hotel, sold to current leaseholder
