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 extra-virgin olive oil; 2 medium white onion, (thinly sliced); 1 medium red bell pepper, (thinly sliced); 8 garlic cloves, (peeled and smashed ); 2½ teaspoons ground cumin; 2½ teaspoons coriander powder; 1 teaspoon kosher salt; 1 teaspoon coarse black pepper; 1 teaspoon dried oregano; 1 tablespoon tomato paste; 1 can (28 ounces) whole tomatoes, (drained except for ¼ cup); 3 pounds skirt steak, (cut in half lengthwise); 1 cup green olives, (sliced); fresh lime juice, (2-3 limes)