Find the enchilada sauce and any other Mexican ingredients in the international aisle of your grocery store. The chilaquiles verdes recipe calls for green, but you can certainly use red, we love it in our smoked chicken chilaquiles, and it will taste just as delicious.