7-year-old Ocala boy is best javelin thrower in the nation - Ocala-News.com