Pressure Cooker Pork Shank Carrots Soup

Ingredients

• 2 large carrots, roughly chopped (roughly 1 ½ pound / 680 grams)
• 1 large green radish, roughly chopped (roughly 1 ¾ pound / 800 grams)
• 1 pork shank (roughly 1 ½ pound / 680 grams)
• 4 quarts of cold running tap water (4 liters)
• 1 thin slice of ginger
• 2 dried jujubes 紅棗
• 1 small piece of chenpi 陳皮 (dried mandarin peel)
• Sea salt to taste