In the context of the input sentence, determine the relationship between 'Codelco' and 'mining'.
Options: headquarters location, director/manager, industry, distribution format

Chile's state mining giant Codelco -- the world's top copper producer -- called off operations at one of its largest facilities Sunday due to a major storm that has killed at least five people.
industry