How do I kill a mantis? mantis battling strategies in ARK: Survival Evolved.