Hearty Instant Pot Split Pea Soup

Ingredients

• 2 tablespoons olive oil
• 2 bay leaves
• 1 onion, diced
• 2 carrots, diced
• 3 cloves garlic, pressed or minced
• 2 stalks celery, diced
• 1 lb bag dried split peas, rinsed, sorted
• 1 ham bone
• Dash dried thyme or marjoram
• 6 cups stock (or water)
• ham, from bone, or diced separately