An Australian fishing crew did the right thing after accidentally killing a giant shark