Probably not a coincidence. The Keyhole name was in the public realm prior to this. (It'd been used within the intelligence community since the late 50s.)