Family of 10-year-old boy killed in horrific water slide accident settles with park’s owner