It was probably chili sauce, like they use on enchiladas. It’s like a thin chili almost like hot dog sauce. There is a thread somewhere about it.
I think this is it.
I agree with texianjoe… must be a chili based sauce. could be a regional mole as well, without the chocolate, just chile based too…