 The Miami company that bought the old post office pavilion lease from the Trump organization has defaulted on the loan. It is the lease that's being auctioned. The federal government owns the building. Friday trading on Wall Street. The Dow is down a point. The S&P 500 index is up 18. The Nasdaq's up 136. That's more than a half percent. Jeff Klebel, WTOP News.