Cumin or Coriander? Which is correct?

I would use cumin. Coriander has just a slight lemon taste. But yes, they are interchangeable.

Admittedly, the ingredients list and directions don't match up in this enchiladas recipe.
But, yes, both cumin and coriander seeds appear widely in Mexican and Tex-Mex foods, so you could use either or both, depending on your taste preferences or what you have on hand.
Whichever you decide, keep the dried spice measure to 1 tsp as written, either one spice or divided in two. Cook, taste.
If needed, adjust the next time you cook this dish.