"Pressure Cooker Chili Verde (Green Pork Chili) - DadCooksDinner"
https://www.dadcooksdinner.com/pressure-cooker-chili-verde-green-pork-chili/
My husband would like that very much; and he’s crazy about our pressure cooker. (I haven’t yet been able to get in his way to learn how to use it myself - other ladies I’ve known have said the same about their husbands :-)