20180610 world.europe: Russian order to destroy Gulag files unearthed