Mining history in literature