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