Any reader would have noticed they had a mere two hours to dig before the waters came back in.
I am sure they made an estimate on the size based on length of span needed and depth of water.
Two hours to dig up, but they would have been idiots not to gather all the information they could before starting the dig.