Allen, David W., fl. 1872.