Does anyone have the Chinese Restaurant recipe for the red dipping sauce provided with the hot yellow mustard?

I’ve tried ketchup and corn syrup. I’ve tried ketchup, corn syrup and horseradish, which made a passable cocktail sauce. Something’s missing. I make really good homemade BBQ pork and the yellow mustard is no problem, but how I long for the red sauce!