Washington Post: A D.C. neighborhood loses a condo building, gains its first official park