Question: the main port of axum was the red sea city of
[{'answer': 'Adulis', 'provenance': [{'wikipedia_id': '20609804', 'title': 'Kingdom of Aksum', 'start_paragraph_id': 7, 'start_character': 323, 'end_paragraph_id': 7, 'end_character': 329, 'bleu_score': 1.0, 'section': 'Section::::Historical records.\n'}]}, {'provenance': [{'wikipedia_id': '20609804', 'title': 'Kingdom of Aksum', 'start_paragraph_id': 7, 'start_character': 0, 'end_paragraph_id': 7, 'end_character': 460, 'bleu_score': 0.863824869886142, 'meta': {'yes_no_answer': 'NONE', 'annotation_id': 9106495794557607748}, 'section': 'Section::::Historical records.\n'}]}]