A long time ago, I was able to dive for a week with a massive school of mating hammerhead sharks. Some were small, like 6’ long, others, most were over 10’. I swear a few were in excess of 15’ long. But it has been a while and I don’t remember how big these sharks actually grow. I could google that. Maybe later.