Real Pork Tenderloin with Mustard Sauce