Is enchilada sauce supposed to have tomatoes?