Category:Mammals described in 1842