A new species of the lava cave-dwelling leptonetid spider from Cheju-do, Korea (Araneae: Leptonetidae) - Namkung, J. (Korean Arachnology, 1991)