23 Haz 2022 ... Ingredients · 1 batch red enchilada sauce (or 15 ounces store-bought red enchilada sauce) · 1 tablespoon olive oil · 1 small white onion, diced · 4 ...