Bumped into this benchmark, but could not find a summit log. (Does Maricopa Peak even have a summit log?)