#1515 ¿Qué haremos al encontrar un semáforo rojo en la entrada de un túnel?