Recipe: Texas Red Chili

Name: Recipe: Texas Red Chili
Ingredients: ½ cup lard or vegetable oil; 1 cup chopped white onion, plus more for garnish; 8 garlic cloves, roughly chopped; 2 red bell peppers—stemmed, seeded and diced; 2 green bell peppers—stemmed, seeded and diced; 1 vine-ripe tomato, cored and roughly chopped; 2½ pounds ground beef; ¾ cup ancho chile powder; ½ cup cumin; ¼ cup dried oregano; ¼ cup paprika; Kosher salt, to taste; 1¾ cups beef stock; 2 tablespoons masa flour; 2 tablespoons warm water; Sour cream, for garnish; Shredded cheddar and Monterey Jack cheese, for garnish; Crushed tortilla chips, for garnish; Cilantro leaves, for garnish