Credit: Courtesy Downtown DC Business Improvement District DC’s Downtown Holiday Market starts Friday