Idea to Name Chincoteague Virginia’s ‘Official Pony’ Originated With Student