9 killed in mining accident in Indonesia

Three people keeping watch reported the accident to local officials when the group failed to emerge from the mine.