Jalisco-Style Pork Tenderloin (Carne Adobado)