Ensiklopedia Nasional Indonesia, vol. 13 - <REPUBLIK INDONESIA> (Republik Indonesia)