Red is the international color of stop signs and stop lights on highways and intersections. In what city did the standardization of red as a color of stop lights occur