Pressure Cooker Beef and Barley Soup

Name: Pressure Cooker Beef and Barley Soup
Prep time: 25 min
Cook time: 35 min
Total time: 1 h
Cuisine: American
Ingredients: 1 lb (450 g) bone-in beef shank; 1 tbsp (15 ml) vegetable oil; 2 carrots, diced; 2 celery stalks, diced; 1 onion, chopped; 1 yellow pepper, seeded and diced; 2 garlic cloves, chopped; 1 can (14 oz/398 ml) diced tomatoes; 6 cups (1.5 litres) chicken broth; ½ cup (100 g) pearl barley, rinsed and drained