cremini mushrooms, roughly chopped • shiitake mushrooms, roughly chopped • Salt • chopped onions • olive oil • garlic, chopped (about 4 teaspoons) • (6-oz) tomato paste • tomato sauce • (28-oz) crushed tomatoes • water • dried thyme • red pepper flakes •