해군은 '홍범도 잠수함' 어쩔 것인가