So the quick fix would have been for the drillers to declare the hole a drain as soon as the water started pouring into it. Or would some governmental body have to make an official declaration or issue a drain permit to make it kosher according to Murphy's Law?
Yes. Exactly. But bureaucracies move too slowly...