... that the extinct ant Afropone was first described from fossils in kimberlite?