A brief history of the "ninja mine"