Mayor of Mason — political office in Ohio, United States