Question: what was texas called when it became independent
[{'answer': 'Republic of Texas', 'provenance': [{'wikipedia_id': '25457', 'title': 'Republic of Texas', 'start_paragraph_id': 0, 'start_character': 0, 'end_paragraph_id': 0, 'end_character': 17, 'bleu_score': 1.0, 'section': 'Section::::Abstract.'}]}, {'provenance': [{'wikipedia_id': '25457', 'title': 'Republic of Texas', 'start_paragraph_id': 1, 'start_character': 0, 'end_paragraph_id': 1, 'end_character': 486, 'bleu_score': 0.8041796667928011, 'meta': {'yes_no_answer': 'NONE', 'annotation_id': 4992519231725483744}, 'section': 'Section::::Abstract.'}]}]