42、中国人民解放军第一任海军司令员是（ ）。