which president signed veteran's day as holiday?