Supplementary description of the type species of the genus Mainothrus Choi, 1996, belonging to the family Trhypochthoniidae (Acari: Oribatida)