Bean enchiladas with red sauce