THE TYPE SPECIMEN OF ERNANODON ANTELIOS