Half Dome from the west