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