INGREDIENTS
•
1 teaspoon coriander seed
•
1/2 teaspoon whole black peppercorns
•
1/2 ounce dried porcini mushrooms
•
1 large pork tenderloin (about 11/8 pounds)
•
2 teaspoons Dijon-style mustard
•
1 tablespoon olive oil
•
Flaked sea salt, for garnish