Detroit’s problems may make blue infrastructure codes more likely