Boy thrown from slide at Dublin water park on opening day