pork tenderloin with chestnut sauce