Double red traffic light

Double red traffic light. Gaskins Rd, Henrico VA. There are many double red signals in the area although most of them are on thru streets and use red arrows. These signals are maintained by the county rather than VDOT.