Trechus (Elgonotrechus) lampros