Curried Brussels Sprouts

Name: Curried Brussels Sprouts
Ingredients: 3 Tbsp. extra-virgin olive oil; 1 lb. Brussels sprouts, outer leaves removed and halved lengthwise; 1⁄4 tsp. black mustard seeds; 1⁄4 tsp. whole cumin seeds; 1⁄8 tsp. ground cumin; 1⁄8 tsp. ground chile powder; 1⁄4 tsp. ground turmeric; 1 bay leaf; 1⁄8 tsp. garam masala; 1⁄8 tsp. ground coriander; 1 medium red onion, chopped; 4 cloves garlic, minced; 1 (2-inch) piece ginger, peeled and minced; 1 ripe tomato, chopped; 2 tsp. kosher salt; 2 Tbsp. cilantro, chopped