Ensiklopedi Nasional Indonesia Jilid 13 (1990)