Editorials Our View: Federal infrastructure bill could be a boon for Minnesota metals mining