Question: what was the name of darth vader star destroyer
[{'answer': 'Devastator', 'provenance': [{'wikipedia_id': '50790', 'title': 'Star Destroyer', 'start_paragraph_id': 12, 'start_character': 147, 'end_paragraph_id': 12, 'end_character': 157, 'bleu_score': 1.0, 'section': 'Section::::Depiction.:Films and television.\n'}]}, {'answer': 'the Devastator', 'provenance': [{'wikipedia_id': '50790', 'title': 'Star Destroyer', 'start_paragraph_id': 12, 'start_character': 1157, 'end_paragraph_id': 12, 'end_character': 1172, 'bleu_score': 1.0, 'section': 'Section::::Depiction.:Films and television.\n'}]}, {'provenance': [{'wikipedia_id': '50790', 'title': 'Star Destroyer', 'start_paragraph_id': 0, 'start_character': 0, 'end_paragraph_id': 0, 'end_character': 0, 'bleu_score': 1.0, 'meta': {'yes_no_answer': 'NONE', 'annotation_id': 17141612507405139028}, 'section': 'Section::::Abstract.'}]}, {'provenance': [{'wikipedia_id': '50790', 'title': 'Star Destroyer', 'start_paragraph_id': 12, 'start_character': 20, 'end_paragraph_id': 12, 'end_character': 327, 'bleu_score': 0.566739947881545, 'meta': {'yes_no_answer': 'NONE', 'annotation_id': 17141612507405139028}, 'section': 'Section::::Depiction.:Films and television.\n'}]}, {'provenance': [{'wikipedia_id': '50790', 'title': 'Star Destroyer', 'section': 'Section::::Depiction.:Films and television.\n', 'start_paragraph_id': 12, 'end_paragraph_id': 12, 'meta': {'evidence_span': ['The Empire Strikes Back" introduces a massive Super Star Destroyer, the "Executor"-class Star Dreadnought "Executor", flagship of "Death Squadron" under the command of Admiral Firmus Piett, Darth Vader\'s personal Imperial armada. The "Executor" dwarfs the "Devastator" and five smaller "Imperial"-class Star Destroyers escorting it', 'Devastator', 'The iconic "Imperial" Star Destroyer first appears in the opening scene of "Star Wars", where the "Imperial I" ("Imperator")-class Star Destroyer "Devastator" of Darth Vader, chases the CR90 Corvette "Tantive IV" carrying Princess Leia above Tatooine.']}}]}]