** November 11, 2017 (the legal public holiday for Veterans Day), falls on a Sunday. We will be closed Monday, November 12, will be treated as a holiday for pay and leave purposes. (See section 3(a) of Executive order 11582, February 11, 1971.)