Trump: Killing Iran general saved American lives