Rangers have shot dead a 14-foot crocodile in northern Australia after it killed a 12-year-old girl while she was swimming ... approach to determine the level of management activity" for crocodiles.