Nine-year-old dives into pool to save drowning four-year-old