In an effort to escape, some thirteen thousand of the invaders died, most by drowning, in the deadly channel that separated them from the safe harbors of Korea. The greatest armada in history had turned into the greatest, but largely bloodless, massacre at sea.