Taxonomic name: Trichonta chaoi (Classification)Distribution after: Some new species of western Mycetophilidae (Diptera)