Anyone knows what happened with the stolen coins?