Draining a pool that is too full