Deep Blue: the largest great white shark ever recorded