据记载，在我国发现的最大金刚石（）。