An earthquake might have shrunk Mount Everest.