Rosemary pork tenderloin sauce