Question: who wrote the theme song to top gun
[{'answer': 'Harold Faltermeyer', 'provenance': [{'wikipedia_id': '7975045', 'title': 'Top Gun Anthem', 'start_paragraph_id': 1, 'start_character': 98, 'end_paragraph_id': 1, 'end_character': 116, 'bleu_score': 1.0, 'section': 'Section::::Abstract.'}]}, {'provenance': [{'wikipedia_id': '7975045', 'title': 'Top Gun Anthem', 'start_paragraph_id': 1, 'start_character': 0, 'end_paragraph_id': 1, 'end_character': 242, 'bleu_score': 0.953991849837532, 'meta': {'yes_no_answer': 'NONE', 'annotation_id': 13694074613161037678}, 'section': 'Section::::Abstract.'}]}]