Who has the highest mining level recorded?