battle of warship