National Museum of Natural History (U.S.). Division of Petrology and Volcanology.