Where was the last sea battle of the Korean War