Columbus’ head of tech claims ransomware group ignored city before data leak