NBC: Mystery of unidentified John Doe solved after 20 years by DNA sequencing