a mine is a place to remove ore or an explosive device