Lophotettix verhaaghi (Orthoptera, Tetrigidae), a new species of pygmy grasshoppers from Peru with a 3D scan of the holotype (Contributions to Entomology, 2025)