Peppercorn pork tenderloin with sauce