Should Ohio switch to Central time if daylight saving time becomes permanent?

CLEVELAND, Ohio — Imagine Cleveland in December, with sunrise still more than an hour away as children wait for school buses and commuters head to work.