Average daily traffic through the Eisenhower Tunnel