Sauce for Pork Tenderloin