【军迷历史知识】30年前的海湾战争还有战列舰参战？