Nine-year-old boy saves father after Florida diving accident