who was the us president when veterans day become a holiday?