NBC: Oldest Texas death row inmate executed in police officer's death