20180710 world.rest-of-world: Australia monster crocodile caught after eight-year hunt