number of pirates killed by president