四川城市名称命名的军舰有哪些名字呢