mantis crab n tropical marine burrowing crustaceans with large grasping appendages Synonym(s) mantis shrimp