Instant Pot Ropa Vieja

Name: Instant Pot Ropa Vieja
Prep time: 10 min
Cook time: 1 h
Total time: 1 h 10 min
Cuisine: Cuban
Ingredients: 2 tablespoons olive oil; 2 medium white onion, (thinly sliced); 1 red bell pepper, (thinly sliced); 6-8 cloves garlic, (peeled and smashed ); 1 teaspoon kosher salt; 2½ tablespoons ground cumin; 2½ tablespoons ground coriander; 1 teaspoon black pepper; 1 teaspoon dried oregano; 1 tablespoon tomato paste; 1 can whole tomatoes, (28-ounce, peeled, and drained except for ¼ cup); 2 pounds skirt steak; 1 cup green olives with pimento, (sliced); 3 tablespoons lime juice, (about 2 limes)