[trgv]

Lots of places have multiple names. Especially in the Arab world, I would expect many places to have a "formal name" that might appear on a government map but that differs from how locals refer to it.

I'm alo not sure if the purpose of intelligence agencies is to collect the names of landmarks either. And speaking as someone who works with maps, it wouldn't surprise me at all if various agencies used severely outdated maps. In fact, I'd be shocked if they were efficient about that kind of thing.