Crews using a jack hammer for wall repairs in the Eisenhower Johnson Memorial Tunnel