Mayor of Dublin, Ohio — political office in the United States