Mina de São Domingos, Portugal