Potosia lugubris Herbst, 1786 невалидное название