Pterostichus (Anilloferonia) diana LaBonte (Coleoptera: Carabidae: Pterostichini), a replacement name for P. (A.) lanei (Hatch, 1935), and validity and redescription of P. (A.) malkini (Hatch, 1953).