So with this argument, all other English mountain names in the US should also be restored to their original names?