An outline history of Orange County : with an enumeration of the names of its towns, villages, rivers, creeks, lakes, ponds, mountains, hills and other known localities, and their etymologies or historical reasons therefor : together with local traditions and short biographical sketches of early settlers, etc.