Right, but the coordinator should be pretty easy to compute before you stop a node: it's always the first node to start up.