Ruths Brisket

Name: Ruth's Brisket
Ingredients: 1 teaspoon salt; 3/4 teaspoon freshly ground black pepper; 1/2 teaspoon Hungarian sweet paprika; 1/2 teaspoon dried oregano; 1/2 teaspoon dried basil; 1/2 teaspoon dried thyme; 1/4 teaspoon dried rosemary; 3 to 3 1/2 pounds brisket, first cut; 2 tablespoons olive oil; 1 large onion, chopped; 1 large clove garlic, minced; 8 medium white mushrooms, sliced; 1/4 cup dry red wine; 2 tablespoons Worcestershire sauce; 2 tablespoons brine from kosher pickles, strained; 8 ounces tomato sauce; 6 to 10 ounces cold water (more or less as needed); 1 1/2 pounds baking potatoes (about 4 medium)