Jana's Pressure Cooker Lentil Ham Soup

Ingredients (13)

• + 1 ½ pounds smoked ham shanks add to pantry
• + 10 cups water add to pantry
• + 1 tablespoon olive oil add to pantry
• + 1 large yellow onion, chopped add to pantry
• + 3 carrots, thinly sliced add to pantry
• ✓ 2 stalks celery, diced
• ✓ 2 cloves garlic, pressed
• + 2 cups lentils add to pantry
• ✓ 1 ¼ teaspoons dried thyme
• + 1 bay leaf add to pantry
• + 1 (14.5 ounce) can diced tomatoes add to pantry
• + ground black pepper to taste add to pantry
• + 1 teaspoon vinegar, or more to taste add to pantry