Considering a bitcoin owner of large amount, and he died w/o sharing his user/pw, Are those coins can be considered as deadcoin since those coins will not circulate anymore in the Network?