The type of the land crab Cardisoma hirtipes Dana, 1851 (Crustacea: Brachyura: Gecarcinidae).