A crocodile devoured a man as he fished in an eastern Indonesian river but left his head floating in the water where it was discovered by his distraught family, police said.