What Should Cities Do About the Heartbleed Bug?