The shutdown could in theory last to 2027.