Catskill water supply, a general description and brief history.