Cheese enchilada with red sauce