美国海军规模缩小的原因是什么