Washington County Library, after the Columbus Day storm