Instant Pot (Pressure Cooker) Bo Kho (Vietnamese Beef Stew)

Name: Instant Pot (Pressure Cooker) Bo Kho (Vietnamese Beef Stew)
Prep time: 5 min
Cook time: 1 h 10 min
Total time: 1 h 15 min
Cuisine: Vietnamese
Ingredients: ½ teaspoon ghee; 5 pounds bone-in short ribs OR 2½ pounds grass fed beef brisket or chuck roast; 1 yellow onion (peeled and diced); 1½ teaspoons Madras curry powder; 2½ tablespoons peeled and microplaned fresh ginger; 2 cups canned diced tomatoes (drained and crushed by hand); 3 tablespoons Red Boat fish sauce; 2 tablespoons applesauce; 1 large stalk lemongrass; 2 whole star anise; 1 bay leaf; 1 cup bone broth; 1 pound carrots (peeled and chopped into 1-inch pieces); Kosher salt