I want to know the answer to the following question:
How many US warships were damaged by gun fire and mines?
All the background I'm provided with is that "Mines and gunfire from North Korean coastal artillery damaged another 87 U.S. warships, resulting in slight to moderate damage.". Is that enough to answer the question?
Answer: yes