Le gouvernement Trump a procédé à une nouvelle exécution, la neuvième depuis juillet