Very Good Tasting Enchiladas (Shredded Beef with Red Sauce)