함박도에도 해군이 있음?