Columbus Day Windstorm aftermath, Washington County Courthouse