Instant Pot Manhattan Clam Chowder

Name: Instant Pot Manhattan Clam Chowder
Ingredients: 3 slices bacon (or salt pork); 1 lb baby potatoes (or other waxy potatoes, diced); 2 carrots (diced); 2 celery ribs (diced); 1 sweet onion (diced); 6 garlic cloves (minced); 3 cups clam juice; 2 cups tomato juice (such as V8); 1 cup diced tomatoes (plus juices); 1/8 cup tomato paste; 1-2 tsp salt; 1/2 tsp black pepper; 1/2 tsp crushed red pepper; 2 bay leaves; 6 sprigs fresh thyme (or 1 tsp dried thyme); 3 sprigs fresh parsley (or 1 tsp dried parsley); 24 oz canned clams (plus liquid)