Спасителни екипи издирват 12-годишно момче, нападнато от крокодил, докато плувало сред група в Порт Брадшоу, Северната територия на Австралия.