Refer to the input text as context and select the correct relationship between 'Codelco' and 'mining' from the available options.
Options: headquarters location, director/manager, distribution format, industry

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