"Esta no fue una operación del Pentágono. Fue una operación de Donald Trump", declaró una fuente, agregando que el propio presidente eligió los planes y optó por el día.