AEDs for swimming pools