19th-century high sheriff of Nottinghamshire