Huge shark caught off coast of Destin FL