Should we have AEDs at swimming pools?