number of pirates killed by us presidents