Those that I saw on the video...are not small.
Well, they’re certainly not juveniles, but they are too small a species to be aggressive towards humans. There are only about 3 species of sharks that regularly attack humans, and they’re all larger than the sharks in that video.