Index of Production, UK: October 2025 | Metals Mine