San Francisco terminates explosive killer cop bots