냉전기 미국보다 인구 많은데, 냉전기 미 해군보다 규모 좀 더 커도 되지?