Title: Who were the first miners?