Peppercorn pork tenderloin