An outline history of Orange County: with an enumeration of the names of its towns, villages, rivers, creeks, lakes, ponds, mountains, hills and other . therefor ; together with local traditions