A naval battle