ٹیگ: 9 miners killed