Wellington Pork Tenderloin