赵焕庭:与海洋打交道的地质学家