Further evidence that “tankie” just means “anyone to the left of the Democratic party”