A concrete mixture (shotcrete) was then blown onto the walls and ceiing of the tunnel

A concrete mixture (shotcrete) was then blown onto the walls and ceiing of the tunnel