enchiladas with red chili sauce.