Question: who was the first mayor of san antonio
[{'answer': 'Juan Leal Goraz', 'provenance': [{'wikipedia_id': '11747801', 'title': 'List of mayors of San Antonio', 'start_paragraph_id': 5, 'start_character': 200, 'end_paragraph_id': 5, 'end_character': 215, 'bleu_score': 1.0, 'section': 'Section::::Colonial (16th century-1821) and Mexican (1821-1836) San Antonio.\n'}]}]