O'Donovan, Edmund — entry in Dictionary of National Biography