Instant Pot Carne Con Papas (Cuban Beef Stew)

Ingredients

• 1 pound stew meat, cut into 2 inch cubes
• 3 tablespoons olive oil
• 2 Yukon Gold potatoes, quartered
• 2 carrots, cut in 1-inch pieces
• 1 onion, large diced
• 1 bell pepper, large diced
• 3 cloves garlic minced
• 1 teaspoon cumin
• 1 teaspoon oregano
• 1 teaspoon paprika
• 1 teaspoon marjoram
• 1 teaspoon brown sugar
• 2 teaspoons salt
• 1/4 teaspoon pepper
• 1/4 teaspoon red pepper flakes
• 1 bay leaf
• 2 tablespoons tomato paste.
• 1 can (15 oz.) crushed tomatoes
• 3/4 cup beef stock
• 1/4 cup dry red wine
• 1 tablespoon corn starch
• 2 tablespoons water