This pork tenderloin gets stuffed with sauteed mushrooms, shallots, and garlic and served with a rich gravy. It's a special occasion meal that you can make in an hour.