Did you know that mushroom ketchup dates back to the 18th century in the United Kingdom and United States?