Cuccodorodes gen. nov., an apterous Batrisitae from the tropical Himalayas (Coleoptera: Staphylinidae: Pselaphinae) - Yin, Zi-Wei (2018)