USCGS survey marker

This is the U.S. Coast and Geodetic Survey marker; that agency was renamed "National Geodetic Survey" in 1970, and the marker was planted in 1942. I forget whether there's also a more modern USGS marker on the summit.