Question: what president made labor day a national holiday
[{'answer': 'President Grover Cleveland', 'provenance': [{'wikipedia_id': '19156272', 'title': 'Labor Day', 'start_paragraph_id': 15, 'start_character': 297, 'end_paragraph_id': 15, 'end_character': 323, 'bleu_score': 1.0, 'section': 'Section::::Labor Day vs. May Day.\n'}]}]