20180517 city.kolkata: Traffic lights to turn red for a while for pedestrian safety