In theory, yes, in reality I doubt that  😅
Maybe mashed tomatoes or how it is called in English. But ketchup as such?