Cubano Pork Tenderloin

Ingredients (11)

• + 1 tablespoon olive oil, divided add to pantry
• + ½ medium onion, chopped add to pantry
• + 3 cloves garlic, chopped add to pantry
• + ¼ cup chopped fresh parsley add to pantry
• + 1 tablespoon Dijon mustard add to pantry
• + 1 pinch salt and ground black pepper to taste add to pantry
• + 1 pinch salt and ground black pepper to taste add to pantry
• + 1 pound pork tenderloin add to pantry
• + ½ (8 ounce) package deli ham add to pantry
• + 1 cup grated Gruyere cheese add to pantry
• ✓ kitchen string