He was swimming with friends when the crocodile attacked and dragged him into the sea.