Catch basin

From Wiki

A catch basin is a secondary container to hold water that flows out of a vanishing-edge pool. Water typically enters the catch basin by spilling over the pool wall. The catch basin is plumbed with a drain and pipe to recirculate water back into the main pool.