Pork Tenderloin with Stilton and Port