Right. What was that Navy ship a couple years ago that burned to the waterline in Hawaii? Nobody knew what to do to try to put it out.
Bonnehomme Richard, San Diego