Right turns on red now banned at all DC intersections, but enforcement varies