Title: The king's ditch A Hawaiian tale,