Sanaungulus ruicheni (Hsiao & Huang, 2018) n. comb. with the differential diagnosis of genera Sanaungulus Fanti, Damgaard & Ellenberger, 2018 and Ornatomalthinus Poinar & Fanti, 2016