Shrimp Enchiladas in a Rich Tomato Sauce