Chiles Curtidos (Pickled Peppers)

Ingredients

• 2 tbsp. olive oil
• 1 small white onion, thinly sliced
• 1 medium carrot, thinly sliced crosswise
• 1 clove garlic, minced
• 10 red or green jalapeños, pricked with a paring knife
• 1 cup distilled white vinegar
• 1 1⁄2 tsp. kosher salt
• 1 tsp. dried oregao
• 1 dried bay leaf