Making Mushroom Ketchup - 18th Century Cooking