Pork tenderloin with green peppercorns