Pao-Kai Tao — Chinese civil engineer (1906-1992)