Did crocodiles really invade a beach and terrorize the local population?