Sun Shu — Chinese geologist (1933-2018)