2,000-pound great white shark pings off Florida Gulf coast