Gen the ragged-tooth shark released back into the big blue after 8 years