red enchilada sauce, I used store-bought from Trader Joe’s