. "Body of water of Allen County, Kentucky" . . .