Instant Pot Split Pea Soup

Name: Instant Pot Split Pea Soup
Ingredients: 2 medium carrots (about 6 ounces total); 2 medium celery stalks (about 4 ounces total); 1/2 medium yellow onion; 2 cloves garlic; 1 tablespoon olive oil; 1 bay leaf; 1/2 teaspoon dried thyme; 1/2 teaspoon kosher salt, plus more as needed; Freshly ground black pepper; 1 pound dried green split peas (about 2 1/4 cups); 7 to 8 ounces diced, cooked ham (about 1 1/2 cups); 1 (32-ounce) carton low-sodium chicken broth (4 cups); 2 cups water, plus more as needed