Creamy Pork Tenderloin with Mushroom and Leek