Veterans Day. No school today.