A crocodile is suspected to have taken a 12-year-old boy after attacking his friend as they swam in a water hole in Australia.