number of pirates kill by presidents