Энтомологи нередко дают жукам мифологические названия. Существуют жук Геркулес, жук Голиаф и т.д. А как называется самый трудолюбивый из жуков могильщиков?