School holidays include Thanksgiving Day, December twenty-fifth, the third Monday in February, July fourth, and may include November eleventh at the discretion of the school district.