My wife has this thin black vinegar thing made from mushrooms that she calls 'ketchup' so yeah. Where I live people say 'tomato ketchup' or 'tomato sauce' when they mean the thick stuff made from tomatoes.
Be interesting to see how close it is to your wife’s modern version!
But who came up with the word “Ketchup”?
Who knows? There’s much debate over the origin of this word. Some say it’s a variant of a Chinese word for fish sauce. Others say it is a Malay word for the same.