Ensiklopedi Nasional Indonesia, Jilid 15 (Pustaka Inti, 1988)