Question: what is the name of darth vader star destroyer
[{'answer': 'Executor', 'provenance': [{'wikipedia_id': '50790', 'title': 'Star Destroyer', 'start_paragraph_id': 5, 'start_character': 295, 'end_paragraph_id': 5, 'end_character': 303, 'bleu_score': 1.0, 'section': 'Section::::Concept and design.\n'}]}]