In Rescue of Captain, Navy Kills 3 Pirates