Si a la entrada de un túnel hay un semáforo en rojo, ¿qué debe hacer?