Mexican beef enchilada with red sauce