A post-mortem has confirmed that a British mine worker was killed in a crocodile attack on a remote island off the coast of northern Australia, police said today.