Instant Pot Cuban Pork with Mashed Plantains - PrepYoSelf

Ingredients

• 12 oz pork shoulder
• 1 tsp garlic powder
• 1 tsp cumin
• 6 oz diced tomatoes with green chiles
• 4 oz tomato sauce
• 1/2 each red onion ((sliced))
• 2 each ripe plantain
• 2 tbsp butter
• 1/4 tsp garlic powder
• 1/4 tsp salt
• 1/4 cup cilantro ((chopped))