how many pirates killed by presidents