Florida cities pay up after crippling ransomware attacks. Issue 7 (July 2019)