NASA pronounced the Mars rover Opportunity dead after a record-setting 15-year run. It had stopped communicating more than eight months ago.