Vino seco is a golden cooking wine often used in Cuban cooking. It’s available online or at markets that specialize in Cuban groceries. If you don’t have a food processor, just finely dice the green pepper and onion and mince the garlic. Instead of scooping out the 1 cup of beans, mash some of the beans in the pot with a potato masher. Settings may vary on your Instant Pot® depending on the model. Please refer to the manufacturer's guide.