俄罗斯海军真的收缩了吗？