Seawater pumped into U.S. warship to keep it stable on reef