Lexicon of new formal geologic names of the United States, 1976-1980