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