Pork Tenderloin With Stilton, Port, and Jalapenos