Collected spiders of the genus Mantius