Mesin sandi, salah satu koleksi di dalam Museum Sandi