O exército dos EUA matou pelo menos 87 pessoas em 22 ataques a barcos no Caribe e no Pacífico oriental desde 2 de setembro — o que muitos especialistas jurídicos dizem serem execuções sumárias ou execuções extrajudiciais. Machado e seus amigos temiam que os EUA pudessem atingir seu barco de fuga, @WSJ relata.