If you are at a junction and the "Red Man" has come and a pedestrian is still crossing the road, what should you do?