Recipe for Sauce for Pork Tenderloin