Instant pot pork chili verde. Use it in your enchiladas, tacos, or pozole.