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