Show of Hands

As I dress my burger, I notice the label on my ketchup bottle. It says "tomato ketchup." Are there other kinds of ketchup that I'm unaware of or is it redundant?