One would hope they either took with them or destroyed all encryption keys, encryption publications, and encryption equipment....
That key is issued from the Information Processing Center COMSEC Account Manager or your local foreign service information technology specialists (I was on that account in 2004-2006).