The authorities in Australia have praised the efforts of an off-duty policeman whose quick thinking might have saved the life and possibly the leg of a surfer after he suffered a gruesome shark attack.