Vegetable-washer invented by John Leonard