Mushroom pan sauce for pork