10-year-old girl pried open jaws of gator during attack at Orange County park, records show