Changing Lake Erie’s name to Lake Ohio would be a head-scratcher, at least from an etymological and geographical perspective.