Question: when is thor ragnarok coming out in the us
[{'answer': 'November 3 , 2017', 'provenance': [{'wikipedia_id': '41974555', 'title': 'Thor: Ragnarok', 'start_paragraph_id': 63, 'start_character': 275, 'end_paragraph_id': 63, 'end_character': 292, 'bleu_score': 1.0, 'section': 'Section::::Reception.:Box office.\n'}]}]