what president was in office when veterans day became a holiday?