Spiced Pork Tenderloin with Barbecued Red Onions Instant Pot Culinary Team Spiced Pork Tenderloin with Barbecued Red Onions