A better metric is probably "deaths / km" instead of % of workforce. Also, while those nine deaths are tragic, we've come a long way from the roughly 200 lives

A better metric is probably "deaths / km" instead of % of workforce. Also, while those nine deaths are tragic, we've come a long way from the roughly 200 lives the old 15km tunnel took.