En grufva erhöll konungens namn.