Peppered Tenderloin Of Pork