According to GPS, at approximately 9:45 AM NPT on 5/23, John reached the summit of Lhotse. He has now begun his descent back to C2, then EBC.