Ketchup was actually originally a fish sauce from Asia. Then it slowly became a mushroom based sauce in Europe. Finally, tomato based ketchup became dominant,

Ketchup was actually originally a fish sauce from Asia. Then it slowly became a mushroom based sauce in Europe. Finally, tomato based ketchup became dominant, yes. But the lineage of ketchup in Europe (of course, it is even older in East and Southeastern Asia) goes way before the Columbian exchange,