Garlic Shrimp With Okra