Ensiklopedi Nasional Indonesia Jilid 9 (1990)