A mine at Pinos Altos where George Butler was employed.