Chondrodesmus riparius Carl, 1914, a millipede species new to the fauna of Costa Rica, originally described from Colombia, and introduced to and presently widespread across Europe (Diplopoda, Polydesmida, Chelodesmidae) - SERGEI I. GOLOVATCH; HENRIK ENGHOFF; BORIS D. EFEYKIN (Zootaxa, 2025)