When I was a kid the Kelvingrove Museum in Glasgow had a skull from a salt water crocodile which had been shot in Papua New Guinea in the 1900s. The skull was 6ft long from nose to neck and 3ft across the jaw.
The school should have take Chief Brody's advice - "You're gonna need a bigger boat".
Salties are fearsome beasts and nay error...in a famous event, a Jap battalion was retreating from British forces at the tail end of the Burma campaign, and made the mistake of diverting into mangrove swamps. That night, all our lads on the perimeter could hear were screams, splashes and crunching sounds as the salties did their bit for the allied war effort. Scratch one Jap btn.
"That night [of the 19 February 1945] was the most horrible that any member of the M.L. [marine launch] crews ever experienced. The scattered rifle shots in the pitch black swamp punctured by the screams of wounded men crushed in the jaws of huge reptiles, and the blurred worrying sound of spinning crocodiles made a cacophony of hell that has rarely been duplicated on earth. At dawn the vultures arrived to clean up what the crocodiles had left...Of about 1,000 Japanese soldiers that entered the swamps of Ramree, only about 20 were found alive."