Penley, Aaron Edwin — entry in Dictionary of National Biography