boy dies at nickel mines pool