High Sheriff of Nottinghamshire — ceremonial officer of the English county of Nottinghamshire