No mention of a defibrillator being used.
If one wasn’t used, you’d think by now that every school in the country would have one available for use along with someone trained in how to use it.
Emergency personnel would mote than likely have one. An AED is not an automatic shock - it can indicate that a shock isn’t needed but the person remains unresponsive.