JV, Yes indeed it's an unfortunate situation.
When we talked to the neighbor, he mentioned that the pool installer did hit water while digging up the hole. Per his memory, the pool builder put gravel on the water and poured concrete on it. The neighbor didn't talk about any surface drainage...