Dinosaur-eating crocodiles once roamed here. Now it’s an Arlington neighborhood