[ojii]

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.