Instant Pot Thai Red Curry Chicken

Name: Instant Pot Thai Red Curry Chicken
Prep time: 5 min
Cook time: 25 min
Total time: 30 min
Cuisine: Asian
Ingredients: 1 lb. boneless skinless chicken breast (cut in 1-inch pieces); 1 TBSP light olive oil; 1 TBSP thai red curry paste (1 TBSP = mild, 2 TBSP = mild/medium, 3 TBSP – medium, 4 TBSP – medium/hot, 5 TBSP - hot); 2 cloves garlic grated or ground (or 1/4 teaspoon Garlic Powder); ½ TBSP ginger paste; 3 cups chicken broth or Vegetable Broth; 1/2 TSP salt; 1 stalk of lemongrass cut into 3 pieces; 1/2 a bunch of cilantro; 2 oz. Red Rice Pad Thai Noodles (I used the Explore Cuisine brand); 1/2 cup fresh basil leaves; 1/2 small onion sliced (about 1/2 cup); 1 small red bell pepper sliced (about 1/2 cup); 1 zucchini sliced in half-moons (about 1/2 cup); 1/2 cup carrots (sliced); 1/2 can Coconut Milk (unsweetened); 1 TBSP honey; ½ TSP lime juice or ½ lime squeezed