See also Trump: 'The American people should be extremely grateful and happy' as Iran stands down after attack
