a section of rock cut out for the highway along Lake Superior.