Graves, Richard Hastings (DNB00) — entry in Dictionary of National Biography