CNN reporting that the 3 pirates were shot by Navy Seals or other military personnel.
Now CNN reporting that the rescue was precipatated by Captain Phillips jumping overboard once again, providing the opportunity for the rescuers to shoot the pirates. If that’s true, Capt Phillips is a national treasure.