Si encontramos un semáforo en rojo a la entrada de un túnel, ¿qué haremos?