Police in Australia said today they had killed a crocodile believed to have eaten a 22-year-old man and were and planning to cut the animal open to search for his remains.