Pork tenderloin with dried cherry sauce