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