When I was a kid in Sweden in the early '80s I watched an educational film on TV about tomato ketchup containing carmine - red food colouring (E-120, natural re

When I was a kid in Sweden in the early '80s I watched an educational film on TV about tomato ketchup containing carmine - red food colouring (E-120, natural red 4) made from crushed cochineal bugs. I've never come across an actual tomato ketchup brand that contained food colouring. Did that even exist anywhere?