55
Officials based at the City of Del Rio , in Texas , were forced to abandon electronic services and switch to pen and paper after a ransomware attack effectively closed down City Hall servers .
 City Hall servers: victim; Texas: place; City of Del Rio: victim; Officials: attacker
Given event type and trigger, please tell me the arguments of all the listed option. Output format is "name1: role1; name2: role2". 
Event type: ransom 
  Option: victim, attacker, payment method, attack pattern, damage amount, tool, time, price, place 
Text: {0} 
Answer:
 City Hall servers: victim; Texas: place; City of Del Rio: victim; Officials: attacker