Pork tenderloin with cherry sauce