SAD... The loss of a wonderful "public" space. “@washingtonpost: Old Post Office in #DC to become 250-room Trump hotel http://t.co/BNJtfeZD” » via Twitter