Trump, 79, Praises Iranian Officer He Had Killed as ‘Great Leader’