Pork Tenderloin with Milk Sauce