Hampón le llamaron desde entonces los de la mina, olvidando su antiguo nombre.