benchmark on Williams Peak...interestingly there is another benchmark on the summit that is for Porter Mtn which shows on the topo as well. So this peak apparently has two names