РВИО завершило издание "Российской исторической энциклопедии"