Summit of West Craggy (trip report)