Which district is known for its mining industry?
District 8
District 12
District 11
District 2