Authorizing public schools to designate Veterans' Day as a public school holiday.