If the 24 year old rotten hunk of meat I call a brain can be trusted. Heinze made some weird colored ketchup in the late 90s early 00s, I believe they we're purple, green, and I believe blue. They were weird and I remember atleast one instance when I was like 4 that my great uncles mixed the purple one in with mustard which looked nasty as shit to fuck with my great grandfather while camping.

Edit: There was a Shrek one.