Ancient mining pollution in early to middle Holocene lake sediments from the Lake Superior region, USA. (September 2022)