Pressure Cooker Red Beans - Cuban Style - cooking recipe

Ingredients

1 (12 ounce) bag dried kidney beans
1 tablespoon olive oil
1/2 onion, chopped
1/2 green pepper, chopped
2 tablespoons garlic, chopped
1 (8 ounce) can tomato sauce
2 potatoes, chopped
2 carrots, chopped
1 link chorizo sausage, chopped (dried cuban sausage )
1/2 piece salt pork, chopped
0.5 (8 ounce) package of diced ham
1 1 dash pepper (to taste) or 1 dash oregano (to taste)

Preparation

Soak beans for 12 hours.
Add olive oil to pressure cooker and saute the onion, garlic, bell pepper and 3 meats - then add the can of tomato sauce.
Add beans, potatoes, carrots and seasonings to the pot and add water to cover by 2\" or so.
Put lid on pressure cooker and bring up to pressure then cook for 25 minutes.
If too watery when done cooking , simmer with lid off pan to thicken up.