Home Bots & Bullets Military research: small robots mimic the powerful punch of mantis shrimp