Preparation Place bay leaves and peppercorns in center of cheesecloth and tie closed with kitchen twine; set sachet aside. Grind mushrooms in spice mill to a powder. Heat 2 Tbsp. oil in a large heavy pot over medium-high. Cook onion, garlic, and chiles, stirring often, until softened, about 5 minutes. Add tomatoes and cook, stirring often, until partly broken down and very saucy, about 5 minutes. Add ribs, mushroom powder, reserved sachet, and 12 cups water. Bring to a boil, then reduce heat. Place tamarind pulp in a small medium-mesh sieve and partially submerge into simmering liquid (it will soften and start to dissolve as time goes by). Cook ribs, skimming foam from the surface, until very tender (meat should be practically falling off the bone for ribs and shred easily for pork shoulder), 2–2 1/2 hours. Season with salt and push tamarind pulp through sieve with a rubber spatula, tasting as you go, until desired level of sourness is reached. Discard any remaining tamarind. Heat remaining 1 Tbsp. oil in a medium skillet over medium-high. Cook bok choy, eggplant, radishes, beans, and okra, tossing occasionally, until crisp-tender, about 5 minutes. Add 1 Tbsp. fish sauce and toss to coat. Divide vegetables, ribs, and broth among bowls; serve drizzled with more fish sauce, if desired. Do Ahead Ribs can be cooked 3 days ahead. Let cool; cover and chill. Ingredient InfoDried tamarind pulp is available at some Indian and Latin markets, specialty foods stores, and supermarkets, and online.