Instant Pot (or not) Vietnamese Beef Stew (Bo Kho)

Ingredients

• 12 oz Green beans, trimmed and chopped
• 12 oz Carrots, sliced
• 2 cloves Shallots, diced
• 2 cloves Garlic, chopped
• 2 tsp Ginger, grated
• 2 stalks Lemongrass, smashed
• 2 Tbsp Soy sauce, low-sodium
• 3 Tbsp Hoisin sauce
• 1 Tbsp Fish sauce
• 1/8 tsp Cinnamon, ground
• 1 1/2 lbs Beef, chuck roast, cubed
• 12 oz Potatoes, baby or new, halved; quartered if large
• 2 Tbsp Oil, cooking
• 4 cups Stock, low-sodium beef (sub any type of broth)
• 2 Tbsp Tomato paste
• 1/4 cup Cilantro leaves
• 1 Baguette, for serving