Ketchup. A highly spiced pickle made from tomatoes, green walnuts or mushrooms from the East Indies. Available commercially.