Apparently, the lagoon is called Crocodile Rock for a reason.
According to the Daily Mail (link in #13) the area is called Elephant Rock.