Yellow Springs Community (Greene County, Ohio), 1825