Pub-Style Vegetarian Chili

⅓ cup olive oil

2 cups sliced fresh mushrooms

1 cup finely chopped onion

1 cup chopped carrot

¾ cup chopped green bell pepper

¼ cup chopped celery

1 tablespoon minced garlic

1 tablespoon chili powder

or more to taste

1 tablespoon ground cumin

1 ⅛ teaspoons salt

¾ teaspoon ground black pepper

¾ teaspoon dried basil

¾ teaspoon dried oregano

1 (28 ounce) can whole peeled tomatoes with juice

3 cups black beans

undrained

½ (6 ounce) can tomato paste

¼ cup red wine

¾ teaspoon hot pepper sauce (such as Tabasco®)

2 cups water