potentat , mr J . Robinson , som gifvit en grufva sitt namn.