What is the name given to ketchup in Wales?

Red sauce

**********