‘Lock it down and piss people off’: How quick thinking stopped a ransomware attack from crippling a Florida hospital