Several times on Reddit, I've seen claims that Johan de Witt was eaten by a mob of angry Dutch. Is there any support in the primary sources for this claim?