What a catch! 9-year-old ‘shark hunter’ kayaking off Gulf of Mexico, hooks 5-footer