recovery of a 7-foot-long marsh crocodile