Was there ever a saltwater crocodile like about the size of 7 meters (or 25 feet) long even in the modern days of the real world?