stir-fried mantis shrimp with garlic