The divers are doing wonderful work in attempting the rescue operation. The people there have better knowledge / ideas' to extricate the boys. I do not know whether they tried to drill holes in the cave either from inside or outside, with the aim of draining out water naturally. This is in addition to pumping the water out. They may search for a nearest outlet from below / side the mountain (vertical or horizontal drill).