Pork Tenderloin with Green Salad