After eight years, Blue the ragged-tooth shark is back in the ocean