pork tenderloin with hawaiian sauce