How much pork tenderloin to feed 14 people