"Invincible" pirate fleets

Sometimes pirate fleets that should suffer "total loss" take no damage at all even when attacked multiple times.

The problem goes away by saving, exiting, and reloading the game, then that fleet is destroyed in the first attack.