Grilled Okra and Tomatoes

Ingredients

• 1 pound fresh whole okra
• 2 teaspoons olive oil
• 2 Roma tomatoes, halved
• 1 teaspoon tomato paste
• 1 tablespoon red wine vinegar
• 2 cloves minced garlic
• 1 sprig thyme
• 1 teaspoon butter
• Kosher salt to taste
• Black pepper to taste