Shrimp and Okra Gumbo Recipe

Name: Shrimp and Okra Gumbo Recipe
Ingredients: 6 tablespoons butter; 2 cups finely chopped onion; 1.5 cups finely chopped green bell pepper; 1.5 cups finely chopped celery; 5 garlic cloves, minced; 1.5 teaspoons dried thyme; 1.5 teaspoons table salt; 1 teaspoon freshly ground black pepper; 3 (14.5-oz.) cans diced tomatoes; 2 (16-oz.) packages frozen cut okra, thawed; 1 (32-oz.) container chicken broth; 2 bay leaves; 2 pounds unpeeled, medium-size raw shrimp, peeled and deveined; 1 tablespoon hot sauce; 1 teaspoon filé powder; Hot cooked rice