Considering that probably 75% of American's did not know much about this mountain before this issue came up and since I would opine that given an outline of Alaska, about 95% of the citizens could not locate this mountain, this is really not that big of a deal.
If the Ohio legislation wants to name one of their mountains after their local president, they should have that right.