Credit: Courtesy Downtown DC Business Improvement District Holiday market in DC’s Dupont Circle changed names, location, but something will stay the same