Crocodylus porosus n 1: estuarine crocodile of eastern Asia and Pacific islands [syn: {Asian crocodile}, {Crocodylus porosus}]