Mayor of Athens, Ohio - political office in the United States