Sun Jun — Chinese engineer (1926–2024)