"Naval battle of the Japanese invasions of Korea" . . . . . . . .