String Beans and Tomatoes

Ingredients

• 1 small onion, finely chopped
• 1 red bell pepper, finely chopped
• 2 cloves garlic, minced
• 1 tablespoon butter
• 1/3 cup ketchup
• 1/2 cup grated carrot
• 1 teaspoon dried basil
• 2 large tomatoes, diced
• One 10-ounce can tomatoes with chiles, such as Rotel
• 3 cups sliced fresh string beans, in 1/2-inch pieces
• Salt and pepper
• Rice, for serving