3M doesn't just make masks.

"More than a century ago, 3M started as a small-scale mining venture in Northern Minnesota, then named Minnesota Mining and Manufacturing Company. Now a global powerhouse, our products improve the daily lives of people around the world. "

https: //www.3m.com/3M/en_US/company-us/about-3m/history/

I bet they Built the tunnels.