. . . . "River of Benton County, Iowa" .