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