It feels more likely they'd shut down DARPA without realizing what it is than try to rename it.