Stanley Pool-distriktet hade upphört.